$\forall$$A$, $B$:(Id$\rightarrow$MsgA). $A$ $\parallel$ $B$ $\Rightarrow$ $B$ $\parallel$ $A$